L17&18 - GUI TESTING


EVENT-DRIVEN PETRI NETS (EDPNs)

Petri Nets
- describe system level behavior

P = places
	- inputs to & outputs of transitions
T = transition

P,T = disjoint sets of nodes

In, Out = set of edges
	- In = PxT
	- Out = TxP

- Enabled --> one token in each input place
- fires --> one token from each input
		--> one token added for each output



INTERACTION TESTING
-Interact With
	- data-events
	- events-threads
	- threads-threads
- Relfexsive
	- data-data
	- event-event
	- thread-thread

- threads/actions/events have positive duration
- two threads not execute at same time in processor

- contraries --> cannot be both true
- sub-contraries --> if cannot be both false, then one is true
- contradictories --> exactly one is true
- subaltern --> q is subaltern of p, if p then q

- Static Interactions


GUI TESTING
1. list port I/O events
2. list ASFs + data places for EDPN of GUi
3. develop EDPN for ASFs
4. ASFs to threads
5. test best threads: how?
	- coverage
		- all ASFs
		- all input ports
		- all output ports